arithmetic subgroup

算术子群